Fix the deprecation note for gdk_device_manager_list_devices

Pointed out in https://bugzilla.gnome.org/show_bug.cgi?id=759785

diff --git a/gdk/gdkdevicemanager.c b/gdk/gdkdevicemanager.c
index 26fc7642b921478150ba29c6bbd5737ca260ae9c..f2b955c1e6881730659e4f9aef18592709f20fe3 100644 (file)
--- a/gdk/gdkdevicemanager.c
+++ b/gdk/gdkdevicemanager.c
@@ -325,7 +325,7 @@ gdk_device_manager_get_display (GdkDeviceManager *device_manager)
  * Since: 3.0
  *
  * Deprecated: 3.20, use gdk_seat_get_pointer(), gdk_seat_get_keyboard()
- *             and gdk_seat_list_slaves() instead.
+ *             and gdk_seat_get_slaves() instead.
  **/
 GList *
 gdk_device_manager_list_devices (GdkDeviceManager *device_manager,